package ch.epfl.lara.pm.ast;

abstract class Warning {
  override def toString = "Warning: " 
}

case class DisjointnessFailed(cases: List[(CaseDef,CaseDef)]) extends Warning 

case class CompletenessFailed(patterns: List[String]) extends Warning

case class ReachabilityFailed(kase: CaseDef) extends Warning

case class ReachabilityExtractorsFailed(kase: CaseDef) extends Warning

case class NestedMatchesFailed(nested: List[(Match,Warning)]) extends Warning